361. Clausal form logic : an introduction to the logic of computer reasoning
Author: Richards, Tom.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
Classification :
QA
76
.
76
.
E95R53
1989
362. Closure Spaces and Logic
Author: by Norman M. Martin, Stephen Pollard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
363. Closure properties and kripke models for fragments of heyting arithmetic
Author: by: Morteza Moniri,^AMoniri, Morteza
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Intuitionistic mathematics,Constructive mathematics,Logic, Symbolic and mathematical,Arithmetic,Kripke, Saul A., 1940-,Heyting, Arend, 1898-,Model theory
364. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
Author: I.R. Goodman, H.T. Nguyen and E.A. Walker
Library: Library of the Faculty of Economics University of Tehran (Tehran)
Subject: Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95G67
1991
365. Cognitive reasoning
Author: / Tamas Gergely, Oleg M. Anshakov
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Logic, Symbolic and mathematical,Reasoning,Cognitive science
Classification :
QA
9
.
A7
C6
2010
366. Cognitive reasoning
Author: Oleg Anshakov, Tamás Gergely
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cognitive science,Logic, Symbolic and mathematical,Reasoning
Classification :
QA9
.
A77
2010eb
367. Cognitive reasoning
Author: / Oleg M. Anshakov, Tamas Gergely
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical,Reasoning,Cognitive science
Classification :
QA9
.
A57
2010
368. Cognitive reasoning: a formal approach
Author: / Oleg M. Anshakov, Tamas Gergely
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical,Reasoning,Cognitive science
Classification :
511
.
3
A618C
2010
369. Cognitive reasoning : a formal approach
Author: Anshakov, Oleg M.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Reasoning,، Cognitive science
Classification :
QA
9
.
A57C6
370. Collected Works
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and Mathematical. ;
371. Collected logical works
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, Symbolic and mathematical,Cognition
Classification :
164
Bo-C
372. Collected works /
Author: Stanisław Leśniewski ; edited by Stanisław J. Surma, Jan T. Srzednicki, and D.I. Barnett ; with an annotated bibliography by V. Frederick Rickey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
B4691
.
L442
E5
1991
373. Collected works
Author: Lesniewski, Stanislaw
Library: (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
B
4691
.
L442
E5
1991
374. Collected works
Author: Kurt Godel
Library: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
Subject: Logic, symbolic and mathematical
375. Collected works
Author: Gغodel, Kurt.
Library: Library of Mofid University (Qom)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA9
.
G5313
1986
376. Collected works
Author: Godel, Kurt Friedrich, 6091-8791
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Collected works ، Logic, Symbolic and mathematical
Classification :
QA
9
.
G5313
377. Collected works
Author: Penrose, Roger
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematical physics,، Logic, Symbolic and mathematical,، Physics - Philosophy
Classification :
QC
19
.
3
.
P46
2011
378. Collected works, Selections. English. 1991
Author: Lesniewski, Stanislaw
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
B
4691
.
L442
.
E5
1991
379. Collected works, Works. English & German. 5891
Author: Godel, Kurt
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
G5313
1986
380. Collegium Logicum: annals of the Kurt-Godel-Society
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
Classification :
QA
9
.
A1
C58
